Yearbooks

BACK

Theoretical computer science 210


 
Module code COS 210
Qualification Undergraduate
Faculty Faculty of Engineering, Built Environment and Information Technology
Module content

This module introduces students to a framework for investigating both computability and complexity of problems. Topics include, but are not limited to: finite-state machines, regular expressions and their application in a language such as awk, the Halting problem, context-free grammars, P vs NP problem, NP-complete class, reduction techniques, regular languages, DFAs and NFAs, Lattices, Church-Turing thesis.
Module credits 8.00
NQF Level 06
Prerequisites COS 110 and COS 151, admission to relevant programme
Contact time 1 practical per week, 2 lectures per week
Language of tuition Module is presented in English
Department Computer Science
Period of presentation Semester 1
General Academic Regulations and Student Rules
The General Academic Regulations (G Regulations) and General Student Rules apply to all faculties and registered students of the University, as well as all prospective students who have accepted an offer of a place at the University of Pretoria. On registering for a programme, the student bears the responsibility of ensuring that they familiarise themselves with the General Academic Regulations applicable to their registration, as well as the relevant faculty-specific and programme-specific regulations and information as stipulated in the relevant yearbook. Ignorance concerning these regulations will not be accepted as an excuse for any transgression, or basis for an exception to any of the aforementioned regulations. The G Regulations are updated annually and may be amended after the publication of this information.

Regulations, degree requirements and information
The faculty regulations, information on and requirements for the degrees published here are subject to change and may be amended after the publication of this information.

University of Pretoria Programme Qualification Mix (PQM) verification project
The higher education sector has undergone an extensive alignment to the Higher Education Qualification Sub-Framework (HEQSF) across all institutions in South Africa. In order to comply with the HEQSF, all institutions are legally required to participate in a national initiative led by regulatory bodies such as the Department of Higher Education and Training (DHET), the Council on Higher Education (CHE), and the South African Qualifications Authority (SAQA). The University of Pretoria is presently engaged in an ongoing effort to align its qualifications and programmes with the HEQSF criteria. Current and prospective students should take note that changes to UP qualification and programme names, may occur as a result of the HEQSF initiative. Students are advised to contact their faculties if they have any questions.

Postal Address:
University of Pretoria
Private Bag x 20
Hatfield
0028

Location:
GIBS | Groenkloof | Hatfield
Hillcrest | Mamelodi | Onderstepoort | Prinshof

Student Service Centre (for Contact students):
Contact Centre - Telephone: 012 420 3111
Contact Centre - Email: [email protected]

Get Social With Us

Download the UP Mobile App

Copyright © University of Pretoria 2025. All rights reserved.

Careers@UP | Tenders@UP | Ethics Hotline | PAIA Manual | Privacy Notices | Website Privacy Notice | Disclaimer | Terms of use

FAQ's Email Us Virtual Campus Share Cookie Preferences